#ifndef __timer_5_driver_h__
#define __timer_5_driver_h__

#include "gd32f4xx_timer.h"

void timer5_driver_config(void);

#endif
